Background: The first wave of the COVID-19 pandemic caused a shortage of qualified nurses in Spain. As a result, the government authorized the hiring of senior students. Objectives: To explore the ethical dilemmas and ethical conflicts experienced by final-year nursing students who worked during the first outbreak of the COVID-19 pandemic in Spain. Research design: A qualitative exploratory study was conducted using purposive sampling. Semi-structured interviews were carried out using a question guide. Interviews took place via a private video chat (...) room platform. A thematic, inductive analysis was performed of the information gathered. Participants and research context: Eighteen nursing students were recruited from two universities of Madrid, aged between 18 and 65 years old, enrolled in the fourth year of nursing studies and who were hired under a relief contract for health professionals during the pandemic. Ethical considerations: The present study was carried out in accordance with the Declaration of Helsinki, and the study was approved by the Local Ethics Committee of Universidad Rey Juan Carlos. Results: Three specific themes emerged: (a) coping with patient triage, (b) difficulties in providing end-of-life care, and (c) coping with patient death. Nursing students participated in the process of patient selection for resource allocation and ICU bed occupancy. They were shown how to care for patients who were not admitted to the ICU, in their last moments and were faced with the difficulties of applying end-of-life care. Finally, the nursing students were confronted with the death of their patients, in overwhelming numbers and under adverse conditions. Conclusions: These findings can help shed light on the ethical dilemmas and ethical conflicts faced by novice nursing students, incorporated into the workforce during the COVID-19 pandemic. Moreover, it was described that students may normalize the death due to the exhaustion and overwhelmed routine. (shrink)

Motivated by the definition of semi-Nelson algebras, a propositional calculus called semi-intuitionistic logic with strong negation is introduced and proved to be complete with respect to that class of algebras. An axiomatic extension is proved to have as algebraic semantics the class of Nelson algebras.

Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H. P. Sankappanavar as a generalization of Heyting algebras. We present a new, more streamlined set of axioms for semi-intuitionistic logic, which we prove translationally equivalent to the original one. We then study some formulas that define a semi-Heyting implication, and specialize this study to the case in which the formulas use only the lattice operators and the intuitionistic implication. We prove then that all the logics thus (...) obtained are equivalent to intuitionistic logic, and give their Kripke semantics. (shrink)

The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a (...) Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras. (shrink)

The purpose of this paper is to define a new logic $${\mathcal {SI}}$$ called semi-intuitionistic logic such that the semi-Heyting algebras introduced in [ 4 ] by Sankappanavar are the semantics for $${\mathcal {SI}}$$ . Besides, the intuitionistic logic will be an axiomatic extension of $${\mathcal {SI}}$$.

Gilbert Ryle claimed that intelligent actions and activities are not merely the external signs of inner mental workings but rather that such actions and activities are the workings of the mind itself. In this thesis I propose an interpretation and defence of sich claim, against a common an, in my view, mistaken way of understanding Ryle's position. In chapter [1]. I introduce the argumentative thread of this thesis and a more detailed overview of the chapters. In chapter [2], I criticise (...) Stanley and Williamson's understanding of Ryle's argument and position. In chapters [3]-[5] I examine Ryle's position and provide a way of understanding his view against what I take his main opponent, INTELLECTUALISM, to be. Chapter [6] offers an argument against INTELLECTUALISM as a way of motivating a Rylean account intelligent actions and activities. I conclude in chapter [7] with a response to purported counter-examples to the view I propose. (shrink)

The purpose of this paper is to discuss Stanley and Williamson’s take on Ryle’s argument against know-how being know-that. For this, I provide an initial consideration of the possibility of isolating Ryle’s argument from his overall philosophical outlook and Stanley and Williamson’s purpose in their discussion of Ryle. I then examine in detail Stanley and Williamson’s reconstruction of Ryle’s argument with the specific aim of showing where they have introduced extraneous elements: I examine what they take to bes additional assumptions (...) needed for the argument to be valid and how they construct the premises in order to attempt to show that Ryle's argument is not sound. I end the paper showing the limits of Stanley and Williamson’s attack, suggesting how the extraneous elements Stanley and Williamson introduce already bias the discussion against Ryle. The main aim is not to defend a form of Ryle’s regress but rather advocate the need for a deeper discussion of Ryle’s views of mind and action when discussing his views on know-how. (shrink)

We determine the number of non‐isomorphic semi‐Heyting algebras on an n‐element chain, where n is a positive integer, using a recursive method. We then prove that the numbers obtained agree with those determined in [1]. We apply the formula to calculate the number of non‐isomorphic semi‐Heyting chains of a given size in some important subvarieties of the variety of semi‐Heyting algebras that were introduced in [5]. We further exploit this recursive method to calculate the numbers of non‐isomorphic semi‐Heyting chains with (...) n elements such that removing the mth element () we are left with a subalgebra. We also solve a related problem posed in [1] of determining the number of ways a semi‐Heyting chain with elements can be extended to a n element semi‐Heyting chain by adding a new element in the mth place. Finally we combine these results by finding a second way to calculate the numbers that provides some extra information. (shrink)

Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its subvarieties. In particular, we prove that the category of dually hemimorphic semi-Heyting algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. We also study the lattice of congruences of a dually hemimorphic semi-Nelson algebra through some of its deductive systems.

In this paper we introduce a logic that we name semi Heyting–Brouwer logic, \, in such a way that the variety of double semi-Heyting algebras is its algebraic counterpart. We prove that, up to equivalences by translations, the Heyting–Brouwer logic \ is an axiomatic extension of \ and that the propositional calculi of intuitionistic logic \ and semi-intuitionistic logic \ turn out to be fragments of \.

An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ ≈ x ∧ y, x ∧ ≈ x ∧ [ → ], and x → x ≈ 1.

The variety \ of implication zroupoids and a constant 0) was defined and investigated by Sankappanavar :21–50, 2012), as a generalization of De Morgan algebras. Also, in Sankappanavar :21–50, 2012), several subvarieties of \ were introduced, including the subvariety \, defined by the identity: \, which plays a crucial role in this paper. Some more new subvarieties of \ are studied in Cornejo and Sankappanavar that includes the subvariety \ of semilattices with a least element 0. An explicit description (...) of semisimple subvarieties of \ is given in Cornejo and Sankappanavar. It is a well known fact that there is a partial order ) induced by the operation ∧, both in the variety \ of semilattices with a least element and in the variety \ of De Morgan algebras. As both \ and \ are subvarieties of \ and the definition of partial order can be expressed in terms of the implication and the constant, it is but natural to ask whether the relation \ on \ is actually a partial order in some subvariety of \ that includes both \ and \. The purpose of the present paper is two-fold: Firstly, a complete answer is given to the above mentioned problem. Indeed, our first main theorem shows that the variety \ is a maximal subvariety of \ with respect to the property that the relation \ is a partial order on its members. In view of this result, one is then naturally led to consider the problem of determining the number of non-isomorphic algebras in \ that can be defined on an n-element chain -chains), n being a natural number. Secondly, we answer this problem in our second main theorem which says that, for each \, there are exactly n nonisomorphic \-chains of size n. (shrink)

Radical Enactivism rejects representationalism but nonetheless allows the phenomenal character of perceptual experience as supervening on brain bound elements. In this paper, I argue that Radical Enactivism should reject the possibility of wholly brain-bound phenomenal experience. I propose a way of individuating perceptual experiences that does not depend on representationalism and raises a problem to the view defended by Hutto and Myin according to which, with respect to phenomenality, it is possible to adopt a view that partly construes experience in (...) terms of engagement with the environment. I argue that Radical Enactivism should change: either deny that the environment plays any role in an account of the phenomenal character or embrace the view that the phenomenal properties of experiences are at least partly constituted by the environment itself. (shrink)

The variety \ of semi-Heyting algebras was introduced by H. P. Sankappanavar [13] as an abstraction of the variety of Heyting algebras. Semi-Heyting algebras are the algebraic models for a logic HsH, known as semi-intuitionistic logic, which is equivalent to the one defined by a Hilbert style calculus in Cornejo :9–25, 2011) [6]. In this article we introduce a Gentzen style sequent calculus GsH for the semi-intuitionistic logic whose associated logic GsH is the same as HsH. The advantage of (...) this presentation of the logic is that we can prove a cut-elimination theorem for GsH that allows us to prove the decidability of the logic. As a direct consequence, we also obtain the decidability of the equational theory of semi-Heyting algebras. (shrink)

An integral subresiduated lattice ordered commutative monoid (or integral srl-monoid for short) is a pair \(({\textbf {A}},Q)\) where \({\textbf {A}}=(A,\wedge,\vee,\cdot,1)\) is a lattice ordered commutative monoid, 1 is the greatest element of the lattice \((A,\wedge,\vee )\) and _Q_ is a subalgebra of _A_ such that for each \(a,b\in A\) the set \(\{q \in Q: a \cdot q \le b\}\) has maximum, which will be denoted by \(a\rightarrow b\). The integral srl-monoids can be regarded as algebras \((A,\wedge,\vee,\cdot,\rightarrow,1)\) of type (2, 2, (...) 2, 2, 0). Furthermore, this class of algebras is a variety which properly contains the varieties of integral commutative residuated lattices and subresiduated lattices respectively. In this paper we study the quasivariety of \(\{\wedge,\cdot,\rightarrow,1\}\) -subreducts of integral srl-monoids, which will be denoted by \(\mathsf {SR^s}\). In particular, we show that \(\mathsf {SR^s}\) is a variety. We also characterize simple and subdirectly irreducible algebras of \(\mathsf {SR^s}\) respectively. Finally, through a Hilbert style system, we present a logic which has as algebraic semantics the variety \(\mathsf {SR^s}\) and we apply this result in order to present an expansion of the previous logic which has as algebraic semantics the variety of integral srl-monoids. (shrink)

In this paper we prove that the free algebras in a subvariety equation image of the variety equation image of semi-Heyting algebras are directly decomposable if and only if equation image satisfies the Stone identity.

En el contexto de la pandemia de COVID-19 el artículo se centra en las personas adultas mayores y pregunta acerca de dos tópicos: por una parte, por la soledad y las relaciones sociales; por otra, por el envejecimiento mismo y por la muerte. Considerando estas dimensiones, el artículo expone, primero, la idea de respectividad, tal como ha sido expuesta por el filósofo español Xavier Zubiri; y segundo, se expone la aproximación al fenómeno del envejecimiento y a la idea de vida (...) como actividad, tal como es expuesta por el pensador alemán Max Scheler. Finalmente, se propone una aplicación de ambos conceptos a los adultos mayores: una vida humana será mejor, si la persona es activa y vive en buenas y profundas relaciones sociales. (shrink)

Si lo mismo piensa el centro que la periferia, acaso el centro mismo sea mejor conocido desde el arrabal —que va hasta él y vuelve a sí mismo, y los conoce a ambos— que la periferia desde esos grandes centros cada vez más provincianos que de ella —que desde un punto de vista superior también es centro, pues el centro está en ninguna, y en todas partes— no ven ya sino sus propias, y las más de las veces no poco (...) narcisistas construcciones. Y es que el centro no alcanza su más profunda y auténtica centralidad sino cuando cobra consciencia de su condición periférica, lo mismo que la periferia no se alcanza a sí misma sino en la medida en la que se sabe, a pesar de su condición de periferia, un verdadero centro. Unos y otros, aquí y allá, debemos aprender a ver en el otro a nuestro semejante, de verdad, y en éste a un ser cuya mirada es capaz de encontrarse en la nuestra, y no a ese espejo duro e impenetrable que no hace más que devolvernos el complejo —de superioridad o de inferioridad, lo mismo da— que acaso tengamos con respecto a nosotros mismos. (shrink)

The 27th February, 2010 an 8.8 Mw earthquake upset Chile. A year after, the writer Juan Villoro published 8.8: El miedo en el espejo, a story by means of a catharsis telling his own experience throughout the earthquake. Villoro’s aim is to demonstrate that people’s psychological guaranties have fallen down together with the buildings’ walls. The Mexican writer describes his staying at the Hotel San Francisco in Santiago de Chile, which held out against the earthquake shocks but entrapped (...) several Latin-American writers as well as Villoro. All the writers were guests at the Congreso Iberoamericano de Literatura Infantil y Juvenil. Villoro book’s purpose is to reflect upon how fear impacts the human beings. (shrink)

The literature on mathematical explanation contains numerous examples of explanatory, and not so explanatory proofs. In this paper we report results of an empirical study aimed at investigating mathematicians’ notion of explanatoriness, and its relationship to accounts of mathematical explanation. Using a Comparative Judgement approach, we asked 38 mathematicians to assess the explanatory value of several proofs of the same proposition. We found an extremely high level of agreement among mathematicians, and some inconsistencies between their assessments and claims in the (...) literature regarding the explanatoriness of certain types of proofs. (shrink)

Estudio Bibliográfico de / A Bibliographical Study of: Juan Bosco Díaz-Urmeneta, Pedro A. Jiménez Manzorro, La tercera dimensión del espejo. Ensayo sobre la mirada renacentista, Secretariado de Publicaciones de la Universidad de Sevilla, Sevilla, 2004; pp. 396.

En su actuación, los estados poderosos traspasan frecuentemente los límites de la moral y del derecho, escudándose, confiésenlo o no, en alguna versión de la vieja máxima de que el fin justifica los medios. Los autores y promotores de las transgresiones recurren sistemáticamente a la legitimidad democrática de la que gozan para justificar sus acciones. Se presentan como meros defensores y ejecutores de la voluntad popular y alegan su obligación de mantener incólume el orden estatal y de preservar las condiciones (...) que hacen posible la libertad de los ciudadanos. Este libro insiste en la inevitabilidad del conflicto entre las compulsiones inherentes al Estado en cuanto a organización de poder y sistema de dominación que compite incansablemente con otros estados y las exigencias éticas y jurídicas del orden social. Ahora bien, no se limita a deplorar esta condición ni a insistir ingenuamente en la necesidad de reafirmar la intangibilidad de los valores fundamentales y de las reglas que hacen posible la civilización humana, sino que entra de lleno en la discusión de los peligros que dimanan de la conjunción de poder y democracia. Tanto en la medida en que el poder burla el mandato democrático como en la medida en que el plebiscito democrático puede dar pábulo y justificación a los desmanes del poder. Este punto de vista lleva al autor a polemizar con la idea corriente de la democracia como voluntad de la mayoría, haciendo hincapié en los mecanismos y procedimientos contramayoritarios como medio de defensa y potenciación de la libertad y la justicia y como ingredientes necesarios de una concepción no menoscabada de la democracia. (shrink)

En este trabajo presentamos una revision de la definición cuántica del elcetrón en relación con el principio de incertidumbre de Werner Heisenberg.In this paper we present a revision of the electron’s quantum definition in relation to the so called uncerrainty principle by Wenrer Heisenberg.

This dissertation studies modern European philosophy's reflection the historical appearance of the human sciences, under the spell of either positivist ideology or historicism, while also making their scientific character a philosophical issue. The work thus hopes to situate the human sciences in an historical context out of which they become unintelligible: the philosophical reflection that, throughout late modernity, has registered their progressive appearance as disciplines of an uncertain and often questioned degree of scientificity. In this way, it challenges a standard (...) practice of 20th c. philosophy of science---to start with the tradition inherited from logical positivism, as though the genre began ex-nihilo around the time, or with, Popper's Logik der Forschung. ;The historical itinerary reconstructed begins with the antinomy nature/freedom in modern philosophy, particularly as it appears in the Kantian corpus. This is followed by an analysis of the dissolution of system philosophy against the background of the movements that constitute the historical matrix of the human sciences: positivism and historicism. Then the work considers the "return to Kant" in Dilthey and the neo-Kantians, which is a conscious attempt to reenact philosophical theories that may serve as scientific meta-language. Finally, the dissertation traces the reception of this Fragestellung in the phenomenologies of Husserl and Heidegger, particularly in the latter's turn from a destruction of metaphysics to a critique of science and technology. ;At the same time, the historical appearance of the sciences of man is considered together with the crisis of philosophy as epistemology or general theory of knowledge. This is done without disregard to the irreversible character of the epochal differend between science and philosophy, evidenced by the crisis of epistemology as scientific meta-language and the rise of an autonomous self-reflection of sciences that constitutes their own "philosophy of science." Thus the work's conclusion attempts to find the epistemological site of a reflection on man that may go beyond the empirical in the discursive space that opens up between natural science and the retreat of philosophy as theory of knowledge. (shrink)

Based on a condensed historical overview of management as an artifact, the article argues that management is still suffused by an implicit paradigm of value extraction that is ideologically and culturally tinted and that we need to find a new foothold in theory and practice, a more universally valid approach with an encompassing awareness of societal well-being and long-term impact. The radically new approach proposed is based on free energy minimization, a concept from computational neuroscience, as a universally valid principle (...) derived from the biological imperative to survive that holds true for individuals and social systems alike. In order to reduce harmful free energy from entropy and stochastic adversity, an amplified way of perceiving and being aware of reality is required that needs to be cultivated. This is achieved through the guiding principle of Minding, an ongoing process of inner and outer awareness and caring consideration of oneself, others and the world around us, routed in a comprehensive consciousness including awareness of Body sensations, Emotions, Thoughts and Action impulses (BETA). This comprehensive, strategic awareness is proposed as a unifying, contextual framework for individual and collective well-being rather than a categorical imperative, and therefore may, when and where indispensable, include value extraction and value maximization if required for the overall objective of shared, long-term flourishing. The article also presents examples of implementation of the proposed approach for both individuals and organizations and briefly introduces MBSAT-Mindfulness-based Strategic Awareness Training, a training protocol designed specifically to enhance the competence of Minding, the guiding principle. (shrink)

El artículo define el término retórico écfrasis, desde su origen en la descripción del escudo de Aquiles realizado por Homero en la Ilíada hasta su utilización en la actualidad. Trata de revelar los aspectos formales constitutivos de una écfrasis, los marcadores ecfrásticos, proponiendo como ejemplo la descripción del escudo de Eneas en Eneida de Virgilio.